A Correspondence Theory for Terminological Logics: Preliminary Report
نویسنده
چکیده
We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the proposit ional modal logic K ( m ) To demonstrate the u t i l i t y of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a simple proof that subsumption in ACC is PSPACE-complete, replacing the original six-page one.
منابع مشابه
KIT REPORT 91 A Correspondence Theory for Terminological Logics: Preliminary Report
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m). To demonstrate the utility of the correspondence, we give two of its immediate by-products. Namely, we axiomatize ALC and give a simple proof that subsumption in ALC is PSPACE-complete, replacing the original six-page one. Furt...
متن کاملTerminological Logic Involving Time and Evolution: A Preliminary Report
Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last years, few attempts have been made to integrate those fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a terminological logic (T-LITE) where th...
متن کاملDatalog and Description Logics: Expressive Power - Preliminary Report
This paper investigates the possibility of exploiting formal analysis tools developed in the database field for the purpose of studying the expressive power of description logics augmented with rule-based query languages. We report a preliminary analysis on the expressive power of such hybrid languages. Two specific languages coupling a terminological component with Horn rules are considered. I...
متن کاملExplanation of Terminological Reasoning: A Preliminary Report
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding...
متن کاملAttributive Description Formalisms : : : and the Rest of the World Published
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artiicial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information ...
متن کامل